1. Finite automata, their algebras and grammars
پدیدآورنده : J. Richard Buchi ; Dirk Siefkes, editor,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Sequential machine theory
رده :
QA
.
S4B83
267
.
5
1989
2. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Gنdel's theorem,، Model theory
رده :
QA
3
.
L28
no
.
328
3. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory
رده :
QA
9
.
65
.
B8
1973
4. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Godel's theorem,Model theory
رده :
QA
3
.
L28
no
.
328